Laurent Fribourg: ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

Don't use scam websites

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Control of Switching Systems by Invariance Analysis: Applcation to Power Electronics

Control of Switching Systems by Invariance Analysis: Applcation to Power Electronics

Laurent Fribourg, Romain Soulat

წელი:

2013

ენა:

english

ფაილი:

PDF, 3.25 MB

0 / 0

english, 2013

2

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

წელი:

1994

ენა:

english

ფაილი:

DJVU, 3.51 MB

0 / 0

english, 1994

3

Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Springer-Verlag Berlin Heidelberg

Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 3.87 MB

0 / 0

english, 2001

4

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 3.53 MB

0 / 0

english, 2013

5

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Formal Modeling and Analysis of Timed Systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Étienne André, Giuseppe Pellegrino (auth.), Víctor Braberman, Laurent Fribourg (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 3.28 MB

0 / 0

english, 2013

6

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

David A. Basin (auth.), Laurent Fribourg, Franco Turini (eds.)

წელი:

1994

ენა:

english

ფაილი:

PDF, 6.81 MB

0 / 0

english, 1994

7

Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Springer-Verlag Berlin Heidelberg

Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 5.62 MB

0 / 0

english, 2001